Nuprl Definition : random 0,22
random(i;j) == i 
latex

FDL editor aliasesrandom

origin